Updating Atomic Information in Labelled Database Systems ( Extended
نویسندگان
چکیده
This paper investigates the applications of Labelled Deductive Systems (LDS) as a framework for the development of a computational formalism for the description of active historical databases. This formalism is then applied to the study of retroactive updates. The propositional temporal logic USV/Z for temporal validity is presented and we prove its soundness and completeness. The historical data model is derived from an LDS framework for this logic. The mechanism for the execution of active temporal rules is described, showing how retroactive updates can cause the appearance of nonsupported actions. An extension of USV/Z into a non-monotonic LDS is applied for the detection of such actions.
منابع مشابه
Updating Atomic Information in Labelled Database Systems ( Extended Abstract )
This paper investigates the applications of Labelled Deductive Systems (LDS) as a framework for the development of a computational formalism for the description of active historical databases. This formalism is then applied to the study of retroactive updates. The propositional temporal logic USV/'Z for temporal validity is presented and we prove its soundness and completeness. The historical d...
متن کاملA New Adaptive Extended Kalman Filter for a Class of Nonlinear Systems
This paper proposes a new adaptive extended Kalman filter (AEKF) for a class of nonlinear systems perturbed by noise which is not necessarily additive. The proposed filter is adaptive against the uncertainty in the process and measurement noise covariances. This is accomplished by deriving two recursive updating rules for the noise covariances, these rules are easy to implement and reduce the n...
متن کاملPrinciples of Distributed Object Database Languages
Todays information systems are based on an architecture built up of object servers and client applications that are distributed in a network of multiple heterogeneous computing platforms. In this environment, distributed object-database systems provide eecient and reliable storing, querying, and updating of a large diversity of objects. The concern of this paper are database languages for unifo...
متن کاملA Logic Approach to Database Dynamic Updating
We introduce a logic-based framework for database updating under constraints. In our framework, the constraints are represented as an instantiated extended logic program. When performing an update, database consistency may be violated. We provide an approach of maintaining database consistency, and study the conditions under which the maintenance process is deterministic. We show that the compl...
متن کاملMap Generation and Updating Technologies based on Network and Cloud Computing: A Survey
Navigation systems have become an interesting research and industrial topic due to their wide deployment. The method of updating the map database (DB) with previously unknown map information has become an important factor in navigation system design. At present, multiple map DB providers maintain their own datasets and work to reduce unknown map information in only their proprietary maps. Map u...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007